package xaj.weavingtest;

import java.io.File;

import polyglot.frontend.ExtensionInfo;

public class Options extends polyglot.main.Options {
	public Options(ExtensionInfo extension) {
		super(extension);
	}

	public void setDefaultValues() {
		super.setDefaultValues();
		//output_directory = new File(System.getProperty("user.dir") + "/output");
		
		print_ast.add("finished-desugared-pass");
	}
}
